Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·47m
🦀Rust Macros
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
How To Solve Every Programming Problem
blog.codeminer42.com·9h
📐Interval Arithmetic
On This Day in Math - August 6
pballew.blogspot.com·23h·
Discuss: www.blogger.com
📐Mathematical Art
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🦀Rust Borrowing
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·12h·
Discuss: Hacker News
💻Programming languages
Large Language Model's Multi-Capability Alignment in Biomedical Domain
arxiv.org·47m
💻Programming languages
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·1d
✨Algebraic Effects
Rod Burstall: In Memoriam
arxiv.org·1d·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Relative Completeness of Incorrectness Separation Logic
arxiv.org·2d
🧠Separation Logic
Why are LLMs' abilities emergent?
arxiv.org·47m
🔲Cellular Automata
Mastering LLM Temperature: A Step-by-Step Guide
dev.to·12h·
Discuss: DEV
🧮Kolmogorov Bounds
My blog on zero-knowledge cryptography
kaw101010.github.io·4h·
Discuss: Hacker News
🔐Quantum Security
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·13h·
Discuss: Hacker News
⚡Proof Automation
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·2d
🔄Finite State Machines
Three challenges in machine-based reasoning
amazon.science·23h·
Discuss: Hacker News
🧮Theorem Proving
[R] LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
reddit.com·12h·
Discuss: r/MachineLearning
🧮Prolog Parsing
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers